-
1 аксиома сводимости
<math.> reducibility axiom -
2 аксиома сводимости
Mathematics: axiom of reducibility, reducibility axiomУниверсальный русско-английский словарь > аксиома сводимости
-
3 аксиома сводимости
reducibility axiom лог.Русско-английский словарь по вычислительной технике и программированию > аксиома сводимости
-
4 аксиома сводимости
axiom of reducibility мат., reducibility axiomРусско-английский научно-технический словарь Масловского > аксиома сводимости
-
5 аксиома сводимости
Русско-английский большой базовый словарь > аксиома сводимости
-
6 аксиома
1) axiom
2) postulate
– аксиома выбора
– аксиома замены
– аксиома мощности
– аксиома о параллельных
– аксиома отделимости
– аксиома полноты
– аксиома сводимости
– аксиома сохранения
– аксиома счетности
– аксиома треугольника
аксиома математической индукции — axiom of complete induction
аксиома не требует доказательства — axiom needs no proof
-
7 аксиома
ж. axiom, postulate, principle -
8 проблема сводимости
-
9 проблема сводимости
Русско-английский военно-политический словарь > проблема сводимости
-
10 проблема сводимости
Русско-английский словарь по информационным технологиям > проблема сводимости
См. также в других словарях:
СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… … Математическая энциклопедия
непредикативное определение — определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число,… … Словарь терминов логики
РАССЕЛ — (Russell) Бертран (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты др. стран … Философская энциклопедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
логицизм — ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… … Энциклопедия эпистемологии и философии науки
КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… … Философская энциклопедия
Принципы математики — «ПРИНЦИПЫ МАТЕМАТИКИ» («PRINCIPIA MATHEMATICA») трехтомный труд о логике и основаниях математики, написанный А.Н. Уайтхедом и Б. Расселом и опубликованный в 1910, 1912 и 1913 (около 2000 с). Целью этой работы было показать, что, используя … Энциклопедия эпистемологии и философии науки
МНОЖЕСТВ ТЕОРИЯ — математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… … Философская энциклопедия